Modified α-ψ-contractive mappings with applications