Quaternions and Spherical Trigonometry