How Mask Matters: Towards Theoretical Understandings of Masked Autoencoders