Introduction to modular representation theory