Beilinson-Bernstein localization