Komatsu Agrees to Buy Joy Global for About $3.7 Billion | Fortune