It's official: Hugh Hefner engaged again