Magnon-phonon interactions in magnetic insulators