Uniform Interpolation for ALC Revisited