A semialgebraic description of the general Markov model on phylogenetic trees