Is ASM International NV's (AMS:ASM) CEO Paid Enough Relative To Peers?