Modelling of a mixture of K-distributed and Gaussian clutter for coherent radar detection