Quantifying crowd size with mobile phone and Twitter data