Two-variable logic with counting