Give pseudocode for a binary heap push operation.