FedCanon: Non-Convex Composite Federated Learning with Efficient Proximal Operation on Heterogeneous Data