Practical Uniform Interpolation For Expressive Description Logics