As Belgium went out of the World Cup in disappointing fashion, manager Roberto Martinez announced he was leaving.