FedMABench: Benchmarking Mobile Agents on Decentralized Heterogeneous User Data