A study of the image formation model and noise characterization in SPECT imaging. Applications to denoising and epileptic foci localization