Foursquare and Factual merge, CEO Shim to lead combined company