Diagnosing the observed seasonal cycle of Atlantic subtropical mode water using potential vorticity and its attendant theorems