Strong monoidal functors and Day convolution