Theory of the energy-band lineup at an abrupt semiconductor heterojunction