Scalable reaction network modeling with automatic validation of consistency in Event-B