Universal Néron models for curves with marked points