Formal Model of the Insect Olfactory Macroglomerulus