Models and algorithms for reliable facility location problems and system reliability optimization