Gravar-mail: Efficient theory of dipolar recoupling in–solid state nuclear magnetic resonance of rotating solids using Floquet-Magnus expansion: Application on BABA and C7 radiofrequency pulse sequences