Bellman function in stochastic control and harmonic analysis