Government calculates tax bill for Vodafone at $3.72 billion