Efficient solvability of graph MSO properties