Martin Marietta acquires Texas Industries