PackVFL: Efficient HE Packing for Vertical Federated Learning