Barnette's conjecture