The shock-heated atmosphere of an asymptotic giant branch star resolved by ALMA