Sound pioneer Ray Dolby dies at 80