Miguel Angel Jimenez breaks hole-in-one record at European PGA Championship