Mariners decline Jorge Polanco’s $12 million option, allowing him to become a free agent