Nonlinear image filtering in a mixture of Gaussian and heavy-tailed noise