DiffCR: A Fast Conditional Diffusion Framework for Cloud Removal from Optical Satellite Images