Fixed point theorems for multivalued and single-valued contractive mappings on Menger PM spaces with applications