Euro 2020 group stage rules as goal difference comes into play

If teams are tied on points at the end of the Euro 2020 group stage, will they be separated by goal difference or head-to-head records?

Relevant news