Names of Pittsburgh shooting victims released