Semidefinite programming in matrix unknowns which are dimension free