Foundations of super vector bundles