Elasticity of substitution between robots and workers: Theory and evidence from Japanese robot price data