Semi‐tensor product of quaternion matrices and its application