Introduction to special relativity