Heart rate variability in mice: a theoretical and practical guide