Algorithmical determination of the topology of a real algebraic surface