Add teachers to school about june HOT 2 CLOSED

For reference - if people work in the industry sector 'Education' their industry_specific attribute may not be None if they have also been assigned the role of a teacher.

https://github.com/JosephPB/covidmodelling/blob/b706ce34de0f4c4a5233f99ca52177abfd645f94/covid/groups/people/person.py#L154

The industry_specific assigning function can be found here:

https://github.com/JosephPB/covidmodelling/blob/b706ce34de0f4c4a5233f99ca52177abfd645f94/covid/groups/people/person_distributor.py#L145

and gives the 4-digit codes to people who might be assigned specific industries (currently only different teachers and healthcare workers).

To implement this - the person industry_specific attribute should be checked, and the, if they are a teacher of a certain age group, assigned to a school of the correct age group. Unlike assigning children to schools, in which proximity is used, teachers should be assigned according to their work MSOArea:

https://github.com/JosephPB/covidmodelling/blob/b706ce34de0f4c4a5233f99ca52177abfd645f94/covid/groups/people/person.py#L127

from june.

This can be done in tandem with this issue

from june.