Introduction to the physics of highly charged ions