Quantum Electrodynamics near a Dielectric Half-space