Tech »  AWS and Capgemini loom large in HMRC's procurement pipeline