Dark pool trading : stochastic control meets adaptive allocation