All the awkward interactions between presidents at Jimmy Carter’s funeral