How We Developed Google's Search Options Panel