ZK-APEX: Zero-Knowledge Approximate Personalized Unlearning with Executable Proofs