Taxes from UK gambling increased by 4% to £2.53 billion in the first nine months of 2023, based on provisional data published by HMRC.