Introduction to stochastic control