Kleene Algebra With Tests for Weighted Programs