Crystallization in Sedimentation Profiles of Hard Spheres