The edge-weighted clique problem: Valid inequalities, facets and polyhedral computations