High-precision relativistic atomic structure calculations and the EBIT: Tests of quantum electrodynamics in highly charged ions