Performability-Aware Computing: Logics, Models, and Languages