MLB roundup: Four Astros combine to no-hit Mariners