Linear quaternion-valued difference equations: Representation of solutions, controllability, and observability