Overall cost comparison between cable and overhead lines including the costs for repair after random failures