Brain activity associated with logical inferences in geometry: focusing on students with different levels of ability