Proximal Newton-type methods for minimizing composite functions