Floquet Theory for Quaternion-Valued Differential Equations