A unifying representer theorem for inverse problems and machine learning