Silver Lake to sell ServiceMax to PTC for $1.46bn