System-reliability-based design and topology optimization of structures under constraints on first-passage probability. (January 2019)