Bimodules and universal enveloping algebras associated to VOAs