Regional industrial informality and efficiency in Mexico, 1990–2013