Using CloudSat and the A-Train for model validation