Facebook buys Hot Potato, a sharing site