Digital publisher Safari Books Online buys PubFactory’s Electronic Platform