An inverse data envelopment analysis model for solving time substitution problems | Synapse