What happens if I don’t use all my procured messages in a given month? Do the remaining messages carry over to the following month?

Yes. Unused messages are carried over to the following month.