Distillability of Werner states using entanglement witnesses and robust semidefinite programs