The National Children’s Choir is a school-based choral experience for primary school children