overloaded push() to support adding vectors to the heap