Statistics — Vocabulary and symbols — Part 1: General statistical terms and terms used in probability