Performance verification for geotechnical structures using reliability analysis based on data assimilation