RAYEN: Imposition of Hard Convex Constraints on Neural Networks