Quaternionic spherical harmonics and a sharp multiplier theorem on quaternionic spheres