How is the audio for a TV broadcasted football match recorded?
The primary method of getting that "zoomed in" sound is using parabolic microphones. They are manually operated and usually carried by the operator listening just to the output of that microphone. The operator will isolate the specific player or object that they are to focus on.

Shotgun and other directional microphones are used to pick up more ambiance of the play while not picking up too much of the crowd. However, they aren't precise enough to capture a player's foot striking the ball.

Pressure zone microphones (PZM) are often placed on objects, like the goal, to capture the sound of the ball striking that object.

This article reviews mic'ing and mixing techniques for a few different sports, though not (non-US) football.