How big is the Battle of the Bastards? Here are the numbers