Conceptual understanding through efficient automated design of quantum optical experiments