Quantitative mu-calculus and CTL defined over constraint semirings