Theoretical and practical identifiability of a reduced order model in an activated sludge process doing nitrification and denitrification