Towards the global Langlands correspondence over function fields