An efficiency formula for a hydrodynamic vortex separator