The FTSE 100 set a new record high