On Courant's nodal domain theorem