Forgettable Federated Linear Learning with Certified Data Removal