Benny (56) and June (53) are married filing jointly. June's health insurance through work covers both of them, with a $3,500 annual deductible. June has a health savings account (HSA). They had no other insurance. What is the maximum contribution amount (including catch-up contributions) to their HSA account for 2023?