Computer-based derivation and reformulation of enzyme reaction models