Florida prosecutors want Nikolas Cruz's medical records