A Mathematical Model for Analyzing the Proxy Bidding Method for Mobile Agent-Based Auction Services