Brascamp--Lieb inequalities for non-commutative integration