A convex-programming framework for super-resolution