Scalable Federated Unlearning via Isolated and Coded Sharding