Ambulatory ECG recording in mice.