The role of TASK-3 potassium channels in theta oscillations and behaviour