A guide to findings on happiness of children in the World Database of Happiness