Double construction for monoidal categories