Dimensi (ruang vektor)