House lawmakers boost Navy shipbuilding by $4 billion