Modeling of Image Formation in Cryo-Electron Microscopy