SMILETRAP—A Penning trap facility for precision mass measurements using highly charged ions