Walton County to receive $9.87 million in oil spill settlement