UK: How diverse is the UK government?