Mixed problems for the Korteweg-de Vries equation