Which company, with stock symbol BHGE, merged with Summa Corporation in 1987?