Introduction to M-theory