Precision laser spectroscopy of highly charged ions