An introduction to mirror manifolds