Real Madrid appoints Julen Lopetegui as coach