Что такое свойства транзакций, обозначаемые сокращением ACID?