Text this: Development of a mathematical model of a fault-tolerant invsubbytes converter in a polynomial system of residue classes