Semialgebraic topology over a real closed field