Deriving Numerical Abstract Domains via Principal Component Analysis