Precision energy-level measurements and QED of highly charged ions