Crystal structure of isocitrate dehydrogenase from Ostreococcus tauri in complex with isocitrate and magnesium(II)