Scalar curvature of definable Alexandrov spaces