4 killed, 4 injured in shooting at Halloween house party in Orinda, police say