According to ICAO Doc 4444 and Doc 9870 (Manual on the Prevention of Runway Incursions), how is a 'Runway Incursion' formally defined?

1. An aircraft landing with a tailwind exceeding 10 knots without prior notification to the tower
2. Any occurrence at an aerodrome involving the incorrect presence of an aircraft, vehicle, or person on the protected area of a surface designated for the landing and take-off of aircraft
3. An aircraft overshooting the runway end due to hydroplaning during wet braking
4. A ground vehicle driving across the airport maintenance perimeter road without a radio