In the classic card-engine game Race for the Galaxy: when action cards are revealed for the round, my opponent and I both chose "Phase III: Develop." Question: during this round, do all players at the table resolve Develop twice and play two developments, or is Develop executed only once? How are the double bonuses calculated?