Mental Models for Debugging Hard Problems