Efficient Diffusion Models: A Comprehensive Survey from Principles to Practices