The Schrödinger functional — a renormalizable probe for non-abelian gauge theories