A computer-aided approach to the approximation problem of elliptic filters