Adequacy modeling and evaluation of multi-carrier energy systems to supply energy services from different infrastructures