Probabilistic Lattices: Theory with an Application to Decision Theory