Why burned-out doctors despise electronic health records