BBC Proms: the numbers you need to know