Jimenez becomes oldest European Tour winner with Hong Kong triumph