A mathematical model for green supply chain coordination with substitutable products