Coal is formed from ancient plants that were buried under layers of sediment?

yes, this is the dominant theory. There is also a theory that coal comes from organic compounds naturally existing in the earth (look up "abiogenic petroleum"). There are problems with both theories, but the second is rarely even mentioned in schools today.