El Gordo: a massive distant merging galaxy cluster