PayPal buys mobile app developer