Mexican GP: Fifth world title for Hamilton as Verstappen doubles up