Police kept everyone safe inside opera house after Vienna terrorist attack