A best proximity point theorem for Roger–Hardy type generalized F-contractive mappings in complete metric spaces with some examples