AGN feedback in galaxy formation