FedTiny: Pruned Federated Learning Towards Specialized Tiny Models