A total of 34 baby boys were given the name Leo in 2023, according to new figures from the Office for National Statistics.