Theory of vector-valued modular forms