Deep neural network expressivity for optimal stopping problems