Facebook boosts IPO size by 25 percent