Bogoliubov theory in the Gross–Pitaevskii limit