Formation of lunar highlands anorthosites