Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes