What is a vector file