Proximity-enhanced valley Zeeman splitting at the WS2/graphene interface