Foundations of Garside Theory (EMS Tracts in Mathematics)